Словарь по логике - аподиктический

безусловно достоверный, основанный на необходимости, неопровержимый. В традиционной логике принято разделять суждения по модальности, т. е. по характеру связи между субъектом и предикатом, на три вида: вероятностные "5, вероятно, есть Р", ассерторические "S есть Р" и А. "S необходимо есть Р". В суждениях первого вида отражаются возможные связи между субъектом и предикатом, напр.: "Илиада" есть, вероятно, продукт коллективного творчества"; ассерторическое суждение утверждает наличие действительно существующей связи между субъектом и предикатом, напр.: "Киев расположен на берегу Днепра"; А. суждение выражает необходимую связь субъекта и предиката: "Вокруг проводника, по которому проходит электрический ток, возникает магнитное поле".

Если ассерторические суждения используются для констатации фактов, то в А. суждениях выражаются законы природы.  Различие между первыми и вторыми не может быть усмотрено из самой формы суждений и является не вполне определенным. Необходимость А. суждения должна быть обоснована с помощью теоретического доказательства.